225 research outputs found
An asymptotic formula for the number of non-negative integer matrices with prescribed row and column sums
We count mxn non-negative integer matrices (contingency tables) with
prescribed row and column sums (margins). For a wide class of smooth margins we
establish a computationally efficient asymptotic formula approximating the
number of matrices within a relative error which approaches 0 as m and n grow.Comment: 57 pages, results strengthened, proofs simplified somewha
The number of graphs and a random graph with a given degree sequence
We consider the set of all graphs on n labeled vertices with prescribed
degrees D=(d_1, ..., d_n). For a wide class of tame degree sequences D we prove
a computationally efficient asymptotic formula approximating the number of
graphs within a relative error which approaches 0 as n grows. As a corollary,
we prove that the structure of a random graph with a given tame degree sequence
D is well described by a certain maximum entropy matrix computed from D. We
also establish an asymptotic formula for the number of bipartite graphs with
prescribed degrees of vertices, or, equivalently, for the number of 0-1
matrices with prescribed row and column sums.Comment: 52 pages, minor improvement
Complexity of short Presburger arithmetic
We study complexity of short sentences in Presburger arithmetic (Short-PA).
Here by "short" we mean sentences with a bounded number of variables,
quantifiers, inequalities and Boolean operations; the input consists only of
the integers involved in the inequalities. We prove that assuming Kannan's
partition can be found in polynomial time, the satisfiability of Short-PA
sentences can be decided in polynomial time. Furthermore, under the same
assumption, we show that the numbers of satisfying assignments of short
Presburger sentences can also be computed in polynomial time
Edges of the Barvinok-Novik orbitope
Here we study the k^th symmetric trigonometric moment curve and its convex
hull, the Barvinok-Novik orbitope. In 2008, Barvinok and Novik introduce these
objects and show that there is some threshold so that for two points on S^1
with arclength below this threshold, the line segment between their lifts on
the curve form an edge on the Barvinok-Novik orbitope and for points with
arclenth above this threshold, their lifts do not form an edge. They also give
a lower bound for this threshold and conjecture that this bound is tight.
Results of Smilansky prove tightness for k=2. Here we prove this conjecture for
all k.Comment: 10 pages, 3 figures, corrected Lemma 4 and other minor revision
Integer Polynomial Optimization in Fixed Dimension
We classify, according to their computational complexity, integer
optimization problems whose constraints and objective functions are polynomials
with integer coefficients and the number of variables is fixed. For the
optimization of an integer polynomial over the lattice points of a convex
polytope, we show an algorithm to compute lower and upper bounds for the
optimal value. For polynomials that are non-negative over the polytope, these
sequences of bounds lead to a fully polynomial-time approximation scheme for
the optimization problem.Comment: In this revised version we include a stronger complexity bound on our
algorithm. Our algorithm is in fact an FPTAS (fully polynomial-time
approximation scheme) to maximize a non-negative integer polynomial over the
lattice points of a polytop
Unique Minimal Liftings for Simplicial Polytopes
For a minimal inequality derived from a maximal lattice-free simplicial
polytope in , we investigate the region where minimal liftings are
uniquely defined, and we characterize when this region covers . We then
use this characterization to show that a minimal inequality derived from a
maximal lattice-free simplex in with exactly one lattice point in the
relative interior of each facet has a unique minimal lifting if and only if all
the vertices of the simplex are lattice points.Comment: 15 page
Lifts of convex sets and cone factorizations
In this paper we address the basic geometric question of when a given convex
set is the image under a linear map of an affine slice of a given closed convex
cone. Such a representation or 'lift' of the convex set is especially useful if
the cone admits an efficient algorithm for linear optimization over its affine
slices. We show that the existence of a lift of a convex set to a cone is
equivalent to the existence of a factorization of an operator associated to the
set and its polar via elements in the cone and its dual. This generalizes a
theorem of Yannakakis that established a connection between polyhedral lifts of
a polytope and nonnegative factorizations of its slack matrix. Symmetric lifts
of convex sets can also be characterized similarly. When the cones live in a
family, our results lead to the definition of the rank of a convex set with
respect to this family. We present results about this rank in the context of
cones of positive semidefinite matrices. Our methods provide new tools for
understanding cone lifts of convex sets.Comment: 20 pages, 2 figure
A Generating Function for all Semi-Magic Squares and the Volume of the Birkhoff Polytope
We present a multivariate generating function for all n x n nonnegative
integral matrices with all row and column sums equal to a positive integer t,
the so called semi-magic squares. As a consequence we obtain formulas for all
coefficients of the Ehrhart polynomial of the polytope B_n of n x n
doubly-stochastic matrices, also known as the Birkhoff polytope. In particular
we derive formulas for the volumes of B_n and any of its faces.Comment: 24 pages, 1 figure. To appear in Journal of Algebraic Combinatoric
Integer polyhedra for program analysis
Polyhedra are widely used in model checking and abstract interpretation. Polyhedral analysis is effective when the relationships between variables are linear, but suffers from imprecision when it is necessary to take into account the integrality of the represented space. Imprecision also arises when non-linear constraints occur. Moreover, in terms of tractability, even a space defined by linear constraints can become unmanageable owing to the excessive number of inequalities. Thus it is useful to identify those inequalities whose omission has least impact on the represented space. This paper shows how these issues can be addressed in a novel way by growing the integer hull of the space and approximating the number of integral points within a bounded polyhedron
- …